Information model - PDFSEARCH.IO - Document Search Engine

Information model
Results: 11785

#	Item
241	Making stochastic process algebras count — Jane Hillston Making Stochastic Process Algebras Count: Modelling Collective Dynamics Jane Hillston Laboratory for Foundations of Computer Science Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2010-11-25 05:29:57 Algebra over a field Process calculus Stochastic process Stochastic Jane Hillston Process calculi Data Computing PEPA Information Non-associative algebras TAPAs model checker
242	Microsoft Word - Getting Started-v9_wafa.docx Add to Reading List Source URL: www.solibri.com Language: English - Date: 2016-03-26 20:21:40 Real estate Software Building information modeling Construction Architecture Building engineering Computer-aided design Data modeling Model checking Mode
243	Formal Concept Analysis for Qualitative Data Analysis over Triple Stores Frithjof Dau and Barı¸s Sertkaya SAP Research Center Dresden, Germany (frithjof.dau\|baris.sertkaya)@sap.com Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2012-03-18 07:41:23 Computing Semantic Web Information science Information Ontology Knowledge representation Technical communication Knowledge engineering Formal concept analysis Data model Resource Description Framework Entityrelationship model
244	Linked Data and Time – Modeling Researcher Life Lines by Events Johannes Trame, Carsten Keßler, and Werner Kuhn Institute for Geoinformatics, University of M¨ unster, Germany {johannes.trame,carsten.kessler,kuhn}@uni Add to Reading List Source URL: carsten.io Language: English - Date: 2013-09-07 23:21:53 Computing Semantic Web Information science World Wide Web Consortium Resource Description Framework Ontology RDF Schema Reification Web Ontology Language Named graph Knowledge representation and reasoning CIDOC Conceptual Reference Model
245	Towards Correct-by-Construction SDN Leonid Ryzhyk1 , Nikolaj Bjørner2 , Marco Canini3 , Jean-Baptiste Jeannin1 , Nina Narodytska1 , Cole Schlesinger1 , Douglas B. Terry1 , and George Varghese2 1 Samsung Research Americ Add to Reading List Source URL: conferences.sigcomm.org Language: English - Date: 2016-07-31 22:09:02 Computing Network architecture Emerging technologies Software engineering Configuration management Software-defined networking Information technology management Programming paradigms Refinement Programming language Model checking SIGCOMM
246	The Multinational Coordinated Arabidopsis thaliana Functional Genomics Project Annual Report 2006 Philip Benfey Chair Add to Reading List Source URL: arabidopsis.info Language: English - Date: 2014-07-08 07:03:15 Biology Plant hormones Arabidopsis thaliana Botany Flora of Lebanon The Arabidopsis Information Resource Arabidopsis Gibberellin Model organism Florigen Genome
247	Personalization through Query Explanation and Document Adaptation ∗ Anthony Ventresque1 , Sylvie Cazalens2 , Thomas Cerqueus2 , Philippe Lamarre2 and Gabriella Pasi3 Add to Reading List Source URL: persdb10.imis.athena-innovation.gr Language: English - Date: 2010-09-24 11:17:18 Information science Information retrieval Natural language processing Computational linguistics Search algorithms Vector space model Ranking Semantic similarity Query expansion Relevance Personalization Latent semantic analysis
248	Specification of an Architecture Meta-Model∗ Raphael Weber, Philipp Reinkemeier, Eike Thaden, Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-03-23 03:32:40 Software engineering Computing Architecture description language Information technology management Systems architecture Unified Modeling Language ISO standards Software architecture Metamodeling EAST-ADL Conceptual model Architecture Analysis & Design Language
249	Simplified Rules and Theoretical Analysis for Information Bottleneck Optimization and PCA with Spiking Neurons Lars Buesing, Wolfgang Maass Institute for Theoretical Computer Science Add to Reading List Source URL: www.gatsby.ucl.ac.uk Language: English - Date: 2014-10-13 19:51:13 Computational neuroscience Neuroscience Nervous system Artificial neural networks Statistics Multivariate statistics Biophysics Biological neuron model Principal component analysis Artificial neuron Spike-timing-dependent plasticity Hebbian theory
250	Bangladesh Land Info offers a variety of digital topographic map & nautical chart data and satellite imagery products of Bangladesh including DEMs (Digital Elevation Models), bathymetry and vector layers such as contours Add to Reading List Source URL: www.landinfo.com Language: English - Date: 2013-08-07 13:08:05 Geographic data and information Geography Earth observation satellites Data Geographic information systems Cartography Remote sensing GeoEye Open-source intelligence Satellite imagery DigitalGlobe Digital elevation model

UPDATE